import { PublicKey, Field } from "o1js";
export { VoteInBatchLeaf, VotesInBatchNullifier, MERKLE_HEIGHT, VotesInBatchWitness };
declare const VoteInBatchLeaf_base: (new (value: {
    electorPuk: PublicKey;
    claimUid: import("o1js/dist/node/lib/field.js").Field;
    result: import("o1js/dist/node/lib/field.js").Field;
}) => {
    electorPuk: PublicKey;
    claimUid: import("o1js/dist/node/lib/field.js").Field;
    result: import("o1js/dist/node/lib/field.js").Field;
}) & {
    _isStruct: true;
} & import("o1js/dist/node/snarky.js").ProvablePure<{
    electorPuk: PublicKey;
    claimUid: import("o1js/dist/node/lib/field.js").Field;
    result: import("o1js/dist/node/lib/field.js").Field;
}> & {
    toInput: (x: {
        electorPuk: PublicKey;
        claimUid: import("o1js/dist/node/lib/field.js").Field;
        result: import("o1js/dist/node/lib/field.js").Field;
    }) => {
        fields?: import("o1js/dist/node/lib/field.js").Field[] | undefined;
        packed?: [import("o1js/dist/node/lib/field.js").Field, number][] | undefined;
    };
    toJSON: (x: {
        electorPuk: PublicKey;
        claimUid: import("o1js/dist/node/lib/field.js").Field;
        result: import("o1js/dist/node/lib/field.js").Field;
    }) => {
        electorPuk: string;
        claimUid: string;
        result: string;
    };
    fromJSON: (x: {
        electorPuk: string;
        claimUid: string;
        result: string;
    }) => {
        electorPuk: PublicKey;
        claimUid: import("o1js/dist/node/lib/field.js").Field;
        result: import("o1js/dist/node/lib/field.js").Field;
    };
};
declare class VoteInBatchLeaf extends VoteInBatchLeaf_base {
    static value(electorPuk: PublicKey, claimUid: Field, result: Field): Field;
}
declare const MERKLE_HEIGHT = 12;
declare const VotesInBatchWitness_base: typeof import("o1js/dist/node/lib/merkle_tree.js").BaseMerkleWitness;
declare class VotesInBatchWitness extends VotesInBatchWitness_base {
}
declare class VotesInBatchNullifier<T> {
    private merkleTree;
    private index;
    constructor();
    build(leafs: {
        value: Field;
    }[]): this;
    addLeaf(leaf: T): this;
    /**
     * Adds an array of votes (electors+claim+result) to a given batch.
     * @returns: the modified Nullifier
     */
    addVotes(electorPuk: PublicKey, votes: {
        claimUid: Field;
        result: Field;
    }[]): this;
    /** Total number of active leafs in the tree */
    size(): bigint;
    /** Index of last leaf in the tree */
    lastIndex(): bigint;
    root(): Field;
    witness(index: bigint): VotesInBatchWitness;
    assert(root: Field, witness: VotesInBatchWitness, value: Field): boolean;
}